Optimal. Leaf size=45 \[ -\frac {1}{2 B (b c-a d) n \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.15, antiderivative size = 45, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 40, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.100, Rules used = {2573, 2561,
2339, 30} \begin {gather*} -\frac {1}{2 B n (b c-a d) \left (B \log \left (e (a+b x)^n (c+d x)^{-n}\right )+A\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 30
Rule 2339
Rule 2561
Rule 2573
Rubi steps
\begin {align*} \int \frac {1}{(a+b x) (c+d x) \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^3} \, dx &=-\frac {1}{2 B (b c-a d) n \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.02, size = 43, normalized size = 0.96 \begin {gather*} -\frac {1}{2 (b B c n-a B d n) \left (A+B \log \left (e (a+b x)^n (c+d x)^{-n}\right )\right )^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.34, size = 366, normalized size = 8.13
method | result | size |
risch | \(\frac {2}{B n \left (a d -c b \right ) \left (2 A +2 B \ln \left (e \right )+2 B \ln \left (\left (b x +a \right )^{n}\right )-2 B \ln \left (\left (d x +c \right )^{n}\right )-i B \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n}\right ) \mathrm {csgn}\left (i \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )+i B \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{2}+i B \pi \,\mathrm {csgn}\left (i \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{2}-i B \pi \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right )^{3}-i B \pi \,\mathrm {csgn}\left (i e \right ) \mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )+i B \pi \,\mathrm {csgn}\left (i e \right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{2}+i B \pi \,\mathrm {csgn}\left (i \left (b x +a \right )^{n} \left (d x +c \right )^{-n}\right ) \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{2}-i B \pi \mathrm {csgn}\left (i e \left (d x +c \right )^{-n} \left (b x +a \right )^{n}\right )^{3}\right )^{2}}\) | \(366\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] Leaf count of result is larger than twice the leaf count of optimal. 200 vs.
\(2 (44) = 88\).
time = 0.43, size = 200, normalized size = 4.44 \begin {gather*} -\frac {1}{2 \, {\left ({\left (b c n - a d n\right )} B^{3} \log \left ({\left (b x + a\right )}^{n}\right )^{2} + {\left (b c n - a d n\right )} B^{3} \log \left ({\left (d x + c\right )}^{n}\right )^{2} + {\left (b c n - a d n\right )} A^{2} B + 2 \, {\left (b c n - a d n\right )} A B^{2} + {\left (b c n - a d n\right )} B^{3} + 2 \, {\left ({\left (b c n - a d n\right )} A B^{2} + {\left (b c n - a d n\right )} B^{3}\right )} \log \left ({\left (b x + a\right )}^{n}\right ) - 2 \, {\left ({\left (b c n - a d n\right )} B^{3} \log \left ({\left (b x + a\right )}^{n}\right ) + {\left (b c n - a d n\right )} A B^{2} + {\left (b c n - a d n\right )} B^{3}\right )} \log \left ({\left (d x + c\right )}^{n}\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 197 vs.
\(2 (44) = 88\).
time = 0.34, size = 197, normalized size = 4.38 \begin {gather*} -\frac {1}{2 \, {\left ({\left (B^{3} b c - B^{3} a d\right )} n^{3} \log \left (b x + a\right )^{2} + {\left (B^{3} b c - B^{3} a d\right )} n^{3} \log \left (d x + c\right )^{2} + 2 \, {\left ({\left (A B^{2} + B^{3}\right )} b c - {\left (A B^{2} + B^{3}\right )} a d\right )} n^{2} \log \left (b x + a\right ) + {\left ({\left (A^{2} B + 2 \, A B^{2} + B^{3}\right )} b c - {\left (A^{2} B + 2 \, A B^{2} + B^{3}\right )} a d\right )} n - 2 \, {\left ({\left (B^{3} b c - B^{3} a d\right )} n^{3} \log \left (b x + a\right ) + {\left ({\left (A B^{2} + B^{3}\right )} b c - {\left (A B^{2} + B^{3}\right )} a d\right )} n^{2}\right )} \log \left (d x + c\right )\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 301 vs.
\(2 (44) = 88\).
time = 3.70, size = 301, normalized size = 6.69 \begin {gather*} -\frac {1}{2 \, {\left (B^{3} b c n^{3} \log \left (b x + a\right )^{2} - B^{3} a d n^{3} \log \left (b x + a\right )^{2} - 2 \, B^{3} b c n^{3} \log \left (b x + a\right ) \log \left (d x + c\right ) + 2 \, B^{3} a d n^{3} \log \left (b x + a\right ) \log \left (d x + c\right ) + B^{3} b c n^{3} \log \left (d x + c\right )^{2} - B^{3} a d n^{3} \log \left (d x + c\right )^{2} + 2 \, A B^{2} b c n^{2} \log \left (b x + a\right ) + 2 \, B^{3} b c n^{2} \log \left (b x + a\right ) - 2 \, A B^{2} a d n^{2} \log \left (b x + a\right ) - 2 \, B^{3} a d n^{2} \log \left (b x + a\right ) - 2 \, A B^{2} b c n^{2} \log \left (d x + c\right ) - 2 \, B^{3} b c n^{2} \log \left (d x + c\right ) + 2 \, A B^{2} a d n^{2} \log \left (d x + c\right ) + 2 \, B^{3} a d n^{2} \log \left (d x + c\right ) + A^{2} B b c n + 2 \, A B^{2} b c n + B^{3} b c n - A^{2} B a d n - 2 \, A B^{2} a d n - B^{3} a d n\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 4.54, size = 72, normalized size = 1.60 \begin {gather*} \frac {1}{2\,B\,n\,\left (a\,d-b\,c\right )\,\left (A^2+2\,A\,B\,\ln \left (\frac {e\,{\left (a+b\,x\right )}^n}{{\left (c+d\,x\right )}^n}\right )+B^2\,{\ln \left (\frac {e\,{\left (a+b\,x\right )}^n}{{\left (c+d\,x\right )}^n}\right )}^2\right )} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________